Nuprl Definition : axiom def 13,42
Ax is Primitive 
latex

Upcore 1, core 1
DefinitionsAx

origin